Turing reduction machine
英 [ˈtʊərɪŋ rɪˈdʌkʃn məˈʃiːn]
美 [ˈtʊrɪŋ rɪˈdʌkʃn məˈʃiːn]
【计】图灵归约机
双语例句
- They gave the formal definition of Turing reduction in terms of oracle Turing machine ( OTM).
他们用oracle图灵机（OTM）模型给出了图灵归约的形式定义。
美 [ˈtʊrɪŋ rɪˈdʌkʃn məˈʃiːn]
【计】图灵归约机